TSTP Solution File: RAL035^1 by Nitpick---2016